楊廉夫名“楨”“禎”二字考

楊廉夫為元末明初的著名詩人、書法家,表字廉夫,其名維楨,亦作維禎。楊廉夫之名二字混用由來已久。《四庫全書總目提要》未對“楨”“禎”二字作考證,直以“楨”字》是。本文通過對歷代目志、石刻碑誌材料、楊廉夫法真蹟與印鑒題識以及方志材料等多個方面的考察,證實楊廉夫本名應作“楊維楨”,楊氏文集中“楨”“禎”混雜的現象,並非刊刻傳抄過程中形成的訛誤,而是始自楊廉夫本人對二字的有意混用。     

双向HFC网上行传输的技术问题及对策

文章对有线电视双向HFC网上行传输的若干技术问题作了较详细的研究;阐述了双向HFC网传输通道中的特有问题——“汇集干扰”、“汇集均衡”等概念及形成原因,并通过实例分析;提出了解决双向HFC网中信号存在“汇集干扰”、“汇集均衡”等问题的可行性方案及加强有线电视上行通道安全性的措施。     

飞机主动式余度作动舵面铰链力矩飞行测量方法

现代飞机舵面大多采用主动式余度作动系统。这种系统固有的力纷争现象,导致传统的基于原位载荷校准试验的飞机结构载荷测量方法,不再适用于现代飞机操纵舵面铰链力矩飞行测量。提出了一种基于离位载荷校准试验和原位载荷验证试验的飞机舵面铰链力矩测量方法,建立了相应的载荷测量模型,分析确定了铰链力矩测量精准度的影响因素,给出了可能引起的系统误差的验证和修正方法,形成了主动式余度作动舵面铰链力矩飞行测量流程。通过多型飞机舵面铰链力矩测量试飞,验证了该方法的可行性和有效性;提高了飞机舵面铰链力矩测量的精准度,为飞机舵面设计载荷验证与优化提供了可靠的实测载荷;得到了飞机舵面各作动机构的载荷分配,实现了飞机舵面作动系统力纷争的飞行监测,确保了飞行安全。     

一种基于梯度分块的直方图平移可逆信息隐藏

针对大多数基于直方图平移的可逆信息隐藏中载体图像分块方法过于粗糙的问题,根据相邻像素之间具有相似特性,提出对载体图像按像素梯度进行分割,将图像分为平滑区域和粗糙区域。同时为减少像素的无效平移,只对平滑区域分块并采用直方图的次峰值点进行双向移位实现信息可逆隐藏,同时将零值点嵌入图像;不需要单独传送峰值点和零值点信息,降低了通信负担。实验表明,该方法在图像质量和峰值信噪比上具有明显的提升,可应用于保密传输等领域。     

结构损伤识别的模态应变能方法探讨

分析了模态应变能用于结构损伤识别的可行性，并进行了有限元和实验验证．结果表明，模态应变能对损伤较为敏感，能够反映结构的局部状态变化，可以用来检测结构损伤位置。     

对一种电子支付协议的改进

随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。     

环境素养评价体系与模型的构建及实证分析

结合国内外环境素养的研究成果 ,指出环境素养的概念应主要包括环境知识、环境行为和环境意识 3方面 ,并具有 3个特征·以此为基础 ,注意相关性、简洁性、可操作性等原则 ,构建出 3级 4层的环境素养评价指标体系和对应的数学评价模型 ,并进行了实证分析·该文有助于人们重视环境素养及其现代研究方法的构建与应用 ,增进交流 ,促进环境素养的提高·     

成绩录入系统确保数据正确性的策略

主要讨论如何在成绩录入系统中确保输入数据的正确性，提出从客户端的数据录入应用程序和数据录入后校验两个方面确保录入数据正确性的策略，并详细介绍了双工输入比较法、过滤按键、数据实时检验及数据录入后进行的即时检查和总结性校验等具体方法。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证